simplifying variable expressions